targeted mutation 2.2, David J Kwiatkowski http://identifiers.org/mgd/MGI:4354601 Hypomorph Tsc2<del3> MGI:4354601 Tsc2<tm2.2Djk>